1
Quantificando a Incerteza: A Função Variável Aleatória
MATH003Lesson 2
00:00
Nesta sessão, passamos de uma descrição qualitativa dos resultados para um quadro quantitativo rigoroso. Definimos uma variável aleatória não como uma "variável" no sentido algébrico, mas como uma aplicação determinística — uma função — que transforma elementos do espaço amostral na reta numérica real.

A Definição Funcional (Definição 2.1.1)

Uma variável aleatória $X$ é uma função $X: S \to R^1$ que atribui um número real $X(s)$ a cada resultado possível $s$ no espaço amostral $S$. Consulte Figura 2.1.1 para a representação visual deste processo.

A Função Indicadora ($I_A$)

Para conectar a teoria dos conjuntos com a aritmética, definimos a função indicadora de um evento $A$:

$$I_A(s) = \begin{cases} 1 & s \in A \\ 0 & s \notin A \end{cases}$$

Isso transforma a ocorrência de um evento em um sinal numérico binário.

Definindo Distribuições (Definição 2.2.1)

A "distribuição" de $X$ é a coleção de probabilidades $P(X \in B)$ para subconjuntos $B \subseteq R^1$. Estritamente falando, exige-se que $B$ seja um subconjunto de Borel, que é uma restrição técnica da teoria da medida. No entanto, qualquer subconjunto que possamos definir prontamente é um subconjunto de Borel.

Limites e Continuidade da Probabilidade

Para garantir que nossas funções se comportem de forma previsível em contextos infinitos, dependemos dos axiomas estabelecidos nos Teoremas 1.3.4 e 1.6.1:

  • Aditividade Enumerável (1.7.1): $P(A_1 \cup A_2 \cup \cdots) = \sum P(B_n)$, onde $B_n$ são versões disjuntas de $A_n$.
  • Continuidade da Probabilidade (1.7.2): Se uma sequência de eventos $\{A_n\} \nearrow A$, então $\lim_{n \to \infty} P(A_n) = P(A)$.
Prova do Teorema 1.3.4

Queremos provar que para qualquer sequência de eventos $A_1, A_2, \dots$ (não necessariamente disjuntos):

$$P(A_1 \cup A_2 \cup \cdots) \leq P(A_1) + P(A_2) + \cdots$$

Isto é conhecido como a Desigualdade de Boole e é fundamental para limitar probabilidades em sistemas complexos.

🎯 Contexto Histórico
O termo "variável aleatória" foi escolhido em vez de "variável de chance" por Joe Doob e William Feller por meio de uma moeda lançada no início dos anos 1950. Embora tecnicamente seja uma função, o nome "variável" permaneceu como um artefato histórico desse famoso lançamento.